(define a
  (local-syntax let1 (lambda (exp env)
		       (let ((name (syn-car (syn-cdr exp)))
			     (val (syn-car (syn-cdr (syn-cdr exp))))
			     (body (syn-car (syn-cdr (syn-cdr (syn-cdr exp))))))
			 (list (syntax-quote let)
			       (list (list name val))
			       body)))
		(let1 x 3
		      (let1 y 5
			    (let1 let1 7
				  (print (+ x y let1)))))))

			     
